Loop Quasi-Invariant Chunk Motion by peeling with statement composition
نویسندگان
چکیده
Citation for published version (APA): Moyen, J-Y., Rubiano, T., & Seiller, T. (2017). Loop quasi-invariant chunk motion by peeling with statement composition. In G. Bonfante, & G. Moser (Eds.), Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (pp. 47-59). Open Publishing Association. (Electronic Proceedings in Theoretical Computer Science, Vol. 248). DOI: 10.4204/EPTCS.248.9
منابع مشابه
An Unfolding-Based Loop Optimization Technique
Loops in programs are the source of many optimizations for improving program performance, particularly on modern high-performance architectures as well as vector and multithreaded systems. Techniques such as loop invariant code motion, loop unrolling and loop peeling have demonstrated their utility in compiler optimizations. However, many of these techniques can only be used in very limited cas...
متن کاملLoop Quasi-Invariance Code Motion
Loop optimization plays an important role in compiler optimization and program transformation. Many sophisticated techniques such as loop-invariance code motion, loop restructuring and loop fusion have been developed. This paper introduces a novel technique called loop quasi-invariance code motion. It is a generalization of standard loop-invariance code motion, but based on loop quasi-invarianc...
متن کاملImperative-program transformation by instrumented-interpreter specialization
We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication intrinsic to such specialization, we introduce a new program transformation, rewinding , which uses Moore-automata minimization to remove duplicated code.
متن کاملA Loop Optimization Technique Based on Quasi- Invariance
Loop optimization plays an important role in compiler optimization and program transformation. Many sophisticated techniques such as loopinvariance code motion, loop restructuring and loop fusion have been developed. This paper introduces a novel technique called loop quasi-invariance code motion. It is a generalization of standard loopinvariance code motion, but based on loop quasiinvariance a...
متن کاملComparison between Peeling with Focal Trichloroacetic Acid and Quasi-Continuous Frequency-Doubled Nd:YAG (532 nm) Laser in the Treatment of Freckles
Background: Benign pigmented lesions, including freckles, are common and various treatment modalities including lasers and peeling have been evaluated for their effectiveness in their treatment.Objective: To compare the clinical effects of focal peeling with Trichloroacetic Acid (TCA) and Nd:YAG (532 nm) laser on freckles.Methods: Twenty patients with freckles were treated with foca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017